Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
281	Rules and Queries with Ontologies: a Unified Logical Framework Enrico Franconi and Sergio Tessaris Faculty of Computer Science, Free University of Bozen-Bolzano, Italy lastname @inf.unibz.it Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:45 Ontology Semantic Web Logic programming Non-classical logic Model theory Description logic Web Ontology Language Stable model semantics Semantic Web Rule Language Logic Science Mathematical logic
282	December 2013 Graduation Survey Page - Graduation Survey Congratulations on your upcoming graduation! The Graduation Survey will provide comprehensive information about the future plans of all graduates and help us effec Add to Reading List Source URL: www.ir.ufl.edu Language: English - Date: 2014-01-30 11:58:18 C Cross-platform software Vehicle Identification Number Equals sign Programming language theory Procedural programming languages Computing Software engineering
283	IDRA (IDeal Resource Allocation): Computing Ideal Speedups in Parallel Logic Programming? M.J. Fern´ andez M. Carro M. Hermenegildo Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2003-02-06 04:50:35 Programming language theory Prolog Speedup Parallel processing Central processing unit Automatic parallelization Parallel computing Computing Computer programming
284	The Machine SUIF Bit-Vector Data-Flow-Analysis Library Release versionGlenn Holloway and Allyn Dimock {holloway,dimock}@eecs.harvard.edu Division of Engineering and Applied Sciences Harvard University Add to Reading List Source URL: www.eecs.harvard.edu Language: English - Date: 2002-07-15 23:53:26 Procedural programming languages Compiler construction Data-flow analysis Network flow Sequence container C Live variable analysis Flow network ALGOL 68 Programming language theory Computing Software engineering
285	h a s k e l l www.haskellcollection.com Press Release haskell Collection Introduces New Pieces Add to Reading List Source URL: haskellcollection.com Language: English - Date: 2013-04-18 02:28:11 Literate programming Programming language theory Table Computing Software engineering Furniture Haskell
286	CS 342 Lecture 1 Introduction to Com S 342 By: Hridesh Rajan Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2010-01-11 18:27:46 Procedural programming languages Programming paradigms Programming language Abstraction ALGOL Scheme APL Essentials of Programming Languages Daniel P. Friedman Software engineering Computing Programming language theory
287	Few-Body Systems (FB20) manuscript No. (will be inserted by the editor) Template for Proceedings of the Few-Body 20 Conference Do you have a subtitle? If so, write it here Add to Reading List Source URL: www.phys.kyushu-u.ac.jp Language: English - Date: 2012-08-23 22:25:23 Bo HTML element Programming language theory Computing Abstract Academic publishing Pascal
288	A motorised fluorescence cube linear positioner 1. Introduction Fluorescence microscopes require fluorescence ‘cubes’, i.e. assemblies of excitation, dichromatic and emission filters and automated microscopes require Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2011-10-03 07:03:31 Procedural programming languages I²C NOP ALGOL 68 C++11 Circular buffer C Computing Software engineering Programming language theory
289	P a g e \| 1 of 4 Haskell Submit Form Add to Reading List Source URL: www.cfafoundation.org Language: English - Date: 2013-04-29 14:56:07 Haskell Literate programming Programming language theory ZIP code Address Computing Email Software engineering
290	BRICS RSO. Danvy: From Reduction-Based to Reduction-Free Normalization BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-01-20 05:23:35 Computability theory Formal languages Logic in computer science Lambda calculus Models of computation Reduction strategy Standard ML Function Normal form Theoretical computer science Mathematics Programming language theory

UPDATE